Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
711	CLF: A logical framework for concurrent systems Thesis Proposal Kevin Watkins Carnegie Mellon University Committee: Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2003-05-13 12:40:00 Type theory Theoretical computer science Non-classical logic Dependently typed programming Logical framework Intuitionistic logic Frank Pfenning Dependent type Natural deduction Mathematical logic Logic Logic in computer science
712	T HE N ATU R E OF T H E PHYSIC AL WOR L D BY Add to Reading List Source URL: hist-analytic.com Language: English - Date: 2011-07-30 20:28:30 Philosophy of self Philosophy Science Modal logic Non-classical logic Philosophical logic
713	PDF Document Add to Reading List Source URL: hist-analytic.com Language: English - Date: 2011-07-30 20:46:56 Propositional calculus Boolean algebra Semantics Non-classical logic Modal logic Interpretation Function Propositional formula Tautology Logic Mathematical logic Mathematics
714	Philosophy of the Social Sciences http://pos.sagepub.com/ Book Review: Extensionalism: The Revolution in Logic Michèle Friend Add to Reading List Source URL: www.nimrodbaram.com Language: English - Date: 2013-03-04 03:28:38 Logical consequence Philosophy of language Semantics Intensional logic George Boole Modal logic Mathematical logic Extensionality Mereology Logic Philosophical logic Non-classical logic
715	BLOG: Relational Modeling with Unknown Objects Brian Milch [removed] Bhaskara Marthi [removed] Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-09-01 16:47:01 Statistics Non-classical logic Probabilistic logic Function Probability Functor Causality Conceptual model Markov chain Mathematics Logic Markov models
716	Using Classical Planners for Tasks with Continuous Operators in Robotics Siddharth Srivastava and Lorenzo Riano and Stuart Russell and Pieter Abbeel Computer Science Division University of California, Berkeley Berkeley, Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-23 10:14:06 Mathematical logic Theoretical computer science Model theory Motion planning STRIPS Planning Domain Definition Language Logic programming Thoralf Skolem Robotics Mathematics Artificial intelligence Automated planning and scheduling
717	Gregory Wheeler Munich Center for Mathematical Philosophy Ludwig Maximilian University of Munich Geschwister-Scholl-Platz[removed]Munich, germany Email: [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2014-04-15 16:47:35 Epistemology Gregory Wheeler Formal epistemology Probabilistic logic Lottery paradox Henry E. Kyburg Jr. Journal of Philosophical Logic Colin Howson Default logic Logic Non-classical logic Science
718	Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements Vitaliy L. Khizder† , David Toman‡ and Grant Weddell‡ † ‡ Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Knowledge Artificial intelligence Abox Tbox Description logic Relational model Modal logic Logic Non-classical logic Ontology
719	2 Basic Description Logics Franz Baader Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Ontology Non-classical logic Philosophical logic Model theory Quantification Description logic Tbox Abox Knowledge representation and reasoning Logic Science Mathematical logic
720	Description Logics Foundations of Propositional Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Propositional calculus Philosophical logic Logic in computer science Logical syntax Modal logic First-order logic Proposition Fuzzy logic Entailment Logic Mathematical logic Non-classical logic

UPDATE